301. #Pascal applications for the sciences

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Science -- Data processing -- Programmed instruction ،Pascal )Computer program language( -- Programmed instruction ،Programming )Electronic computers( -- Programmed instruction

رده :
#
Q
،#.
C73
،#
1984

302. Pascal plus data structures, algorithms, and advanced programming

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Pascal )Computer program language(,، Data structures )Computer science(,، Computer algorithms,، Electronic digital computers -- Programming

رده :
QA
76
.
73
.
P2
D35
1988

303. Passwords :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers-- Access control-- Passwords.,Cryptography.,Data encryption (Computer science),Electronic surveillance.,Philology.,54.62 machine readable data.,54.62 machine readable data.,Computers-- Access control-- Passwords.,Cryptography.,Data encryption (Computer science),Digital Humanities,Electronic surveillance.,Kryptologie,Passwort,Philologie,Philology.,Textverarbeitung

رده :
QA76
.
9
.
A25
L485
2018

304. Pattern recognition using genetic programming for classification of diabetes and modulation data

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : QA75 Electronic computers. Computer science ; QH426 Genetics ; TK Electrical engineering. Electronics Nuclear engineering

305. Performance tuning of scientific applications

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Data processing -- Evaluation ، Science,Evaluation ، Electronic digital computers,Evaluation ، System design,Computer programs ، Science

رده :
Q
183
.
9
.
P47

306. Performance tuning of scientific applications

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Evaluation ، Science - Data processing,Evaluation ، Electronic digital computers,Evaluation ، System design,، Science - Computer programs

رده :
Q
183
.
9
.
P47
2011

307. Performance tuning of scientific applications

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Science--Data processing--Evaluation,Electronic digital computers--Evaluation,System design--Evaluation,Science--Computer programs

رده :
Q183
.
9
.
P47
2011

308. Petri net algebra

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Parallel processing )Electronic computers(,، Computer science - Mathematics,، Petri nets

رده :
QA
76
.
58
.
B48
2001

309. Petri net algebra

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics.,Parallel processing (Electronic computers),Petri nets.

رده :
QA76
.
58
E354
2010

310. Petri net algebra

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Parallel processing )Electronic computers(,، Computer science-- Mathematics,، Petri nets

رده :
QA
76
.
58
.
B48
2001

311. Politics and public opinion in China :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : DS Asia,QA76 Electronic computers. Computer science. Computer software,TK Electrical engineering. Electronics Nuclear engineering

312. Practical Ruby projects

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : oriented programming (Computer science) ; Programming languages (Electronic computers) ; Ruby (Computer program language) ; -Object

313. Predicate transformer semantics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics

رده :
QA
76
.
7
.
M342
1992

314. Probabilistic Safety Assessment and Management

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Electronic data processing.,Information Systems.,Operating systems (Computers)

315. Proceedings of the Fifth Israeli Symposium on Theory of Computing and Systems, June 17-19, 1997, Ramat-Gan, Israel

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Electronic data processing-- Congresses,، Electronic digital computers-- Congresses,، Computer science-- Congresses

رده :
QA
75
.
5
.
I77
1997

316. #Program correctness over abstract data types, with error-state semantics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)

موضوع : Electronic digital computers- Programming ،Abstract data types )Computer science(

رده :
#
QA
،#.
T83

317. Program style, design, efficiency, debugging, and testing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Programming ، Electronic digital computers,، Debugging in computer science,Testing ، Computer programs

رده :
QA
76
.
6
.
V37
1978

318. Program style, design, efficiency, debugging, and testing

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Electronic digital computers-- Programming,، Debugging in computer science,، Computer programs-- Testing

رده :
QA
76
.
6
.
V37
1978

319. Program style,design,efficincy

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE , COMPUTER PROGRAMS-TESTING

رده :
QA
76
.
6
.
V37

320. Programming Environments for Parallel computing : Proceedings of the IFIP WG 10.3 workshop on programming Environments for parallel computing Edinburgh , Scotland 1992 , 6 _ 8 April ,1992

پدیدآورنده :

کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (طهران)

موضوع : Parallel programming ( computer science ) _ congresses,Parallel Processing ( Electronic computers ) _ Congresses

رده :
QA
76
.
642
.
I35
1992